recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Fabula programming language Strange by rmovchan New Fabula Programming System by rmovchan I don't get it by Ivan V. FWT activation mail by Ivan V. Fabula's properties by rmovchan Can you describe what are by Ivan V. Still interesting by rmovchan	rmovchan	2016-04-01 04:16
Forum topic	Formalization and programming language design -- explained to all Variance. by Keean Schupke Are Cats Animals? by marco Interfaces without subtyping by Keean Schupke I think a language by Josh Scholar upcasting and downcasting... by Ray Dillinger Update by Josh Scholar ML vs. PL by Sean McDirmid Non-human programmers and inventors by dmbarbour models of execution by Thomas Lord Thanks by gasche ...	gasche	2016-04-01 05:40
Forum topic	Onward 2016 call LIVE 2016 is probably a by Sean McDirmid best way by d08ble It really depends. An onward by Sean McDirmid what benefits? by Ivan V.	Sean McDirmid	2016-04-01 13:09
Forum topic	SFI Talk: Four the hard way: Computer design and living software	marco	2016-04-02 22:01
Forum topic	Best opening sentence ever, in a paper on S-Exprs for IDEs. Almost certainly orphaned by johnwcowan You are right not a nice by HeikoWengler Feel the Barn! by marco thanks! by raould Sentance by marco to whet by raould The IDE is online by raould Pay lots of money or break by Sean McDirmid It's only lost if you don't by HeikoWengler Interesting work, but they by Sean McDirmid	raould	2016-04-02 22:53
Forum topic	Good books on theoretical aspects of type theory when it applies to computer science and languages	Carter Cheng	2016-04-06 19:47
Forum topic	Some questions concerning P != NP Why by Andrew Moss Actually even without by Carter Cheng How do you encode the password? by Andrew Moss Thanks by Carter Cheng Ah alright thanks. by Carter Cheng BTW. LtU has threads by marco I gather that is even normal by marco Actually that's something I by Carter Cheng You already answered that yourself by marco maybe gig rather than gag by Carter Cheng ...	Carter Cheng	2016-04-15 08:07
Forum topic	Elements of Programming in Rust	Keean Schupke	2016-04-22 08:39
Forum topic	LIVE 2016 @ ECOOP (CFP) And until April 25th. We by Sean McDirmid Deadline extended to April by Sean McDirmid	Sean McDirmid	2016-04-22 23:16
Forum topic	Binary Representation - Is it something to rise above? I'm only half German by johnwcowan model parameter by skaller Representations by skaller You're entitled to your own opinions, but not your own facts by johnwcowan PRNGs by Keean Schupke re marx by Thomas Lord No by marco re Yah by Thomas Lord Yah. I don't do that by marco material dialectics (re "the machine...") by Thomas Lord ...	Ray Dillinger	2016-04-24 02:14
first page previous page next page last page